<?xml version = '1.0' encoding = 'ISO-8859-1' ?>
<asm name="0">
	<cp>
		<constant value="PetriNet2Tina"/>
		<constant value="main"/>
		<constant value="A"/>
		<constant value="net "/>
		<constant value="PetriNet"/>
		<constant value="J.allInstances():J"/>
		<constant value="J.first():J"/>
		<constant value="name"/>
		<constant value="J.concat(J):J"/>
		<constant value="&#10;"/>
		<constant value=""/>
		<constant value="1"/>
		<constant value="Transition"/>
		<constant value="2"/>
		<constant value="tr "/>
		<constant value="J.+(J):J"/>
		<constant value=" ["/>
		<constant value="tMin"/>
		<constant value="0"/>
		<constant value="J.&gt;(J):J"/>
		<constant value="33"/>
		<constant value="36"/>
		<constant value="J.toString():J"/>
		<constant value=","/>
		<constant value="tMax"/>
		<constant value="J.&lt;(J):J"/>
		<constant value="50"/>
		<constant value="] "/>
		<constant value="51"/>
		<constant value="w[ "/>
		<constant value="3"/>
		<constant value="ingoings"/>
		<constant value="4"/>
		<constant value="source"/>
		<constant value="kind"/>
		<constant value="EnumLiteral"/>
		<constant value="#native"/>
		<constant value="readArc"/>
		<constant value="J.=(J):J"/>
		<constant value="75"/>
		<constant value="*"/>
		<constant value="76"/>
		<constant value="?"/>
		<constant value="weight"/>
		<constant value=" "/>
		<constant value="-&gt; "/>
		<constant value="outgoings"/>
		<constant value="target"/>
		<constant value="112"/>
		<constant value="113"/>
		<constant value="Sequence"/>
		<constant value="Place"/>
		<constant value="marking"/>
		<constant value="B.not():B"/>
		<constant value="149"/>
		<constant value="CJ.including(J):CJ"/>
		<constant value="pl "/>
		<constant value=" ("/>
		<constant value=")&#10;"/>
		<constant value="e:\java\topcased\BE\ "/>
		<constant value=".net"/>
		<constant value="J.writeTo(J):J"/>
		<constant value="3:2-3:8"/>
		<constant value="4:10-4:27"/>
		<constant value="4:10-4:42"/>
		<constant value="4:10-4:51"/>
		<constant value="4:10-4:56"/>
		<constant value="3:2-4:57"/>
		<constant value="5:10-5:14"/>
		<constant value="3:2-5:15"/>
		<constant value="7:65-7:67"/>
		<constant value="7:10-7:29"/>
		<constant value="7:10-7:44"/>
		<constant value="8:3-8:4"/>
		<constant value="8:5-8:10"/>
		<constant value="8:3-8:10"/>
		<constant value="8:11-8:12"/>
		<constant value="8:11-8:17"/>
		<constant value="8:3-8:17"/>
		<constant value="9:5-9:9"/>
		<constant value="8:3-9:9"/>
		<constant value="10:9-10:10"/>
		<constant value="10:9-10:15"/>
		<constant value="10:18-10:19"/>
		<constant value="10:9-10:19"/>
		<constant value="12:11-12:14"/>
		<constant value="11:5-11:6"/>
		<constant value="11:5-11:11"/>
		<constant value="11:5-11:22"/>
		<constant value="10:6-13:11"/>
		<constant value="8:3-13:11"/>
		<constant value="15:5-15:8"/>
		<constant value="8:3-15:8"/>
		<constant value="16:9-16:10"/>
		<constant value="16:9-16:15"/>
		<constant value="16:18-16:19"/>
		<constant value="16:9-16:19"/>
		<constant value="18:11-18:12"/>
		<constant value="18:11-18:17"/>
		<constant value="18:11-18:28"/>
		<constant value="18:29-18:33"/>
		<constant value="18:11-18:33"/>
		<constant value="17:5-17:10"/>
		<constant value="16:6-19:11"/>
		<constant value="8:3-19:11"/>
		<constant value="20:38-20:40"/>
		<constant value="20:5-20:6"/>
		<constant value="20:5-20:15"/>
		<constant value="21:4-21:6"/>
		<constant value="21:7-21:9"/>
		<constant value="21:7-21:16"/>
		<constant value="21:7-21:21"/>
		<constant value="21:4-21:21"/>
		<constant value="22:8-22:10"/>
		<constant value="22:8-22:15"/>
		<constant value="22:16-22:24"/>
		<constant value="22:8-22:24"/>
		<constant value="24:10-24:13"/>
		<constant value="23:6-23:9"/>
		<constant value="22:5-25:10"/>
		<constant value="21:4-25:10"/>
		<constant value="26:5-26:7"/>
		<constant value="26:5-26:14"/>
		<constant value="26:5-26:25"/>
		<constant value="21:4-26:25"/>
		<constant value="26:26-26:29"/>
		<constant value="21:4-26:29"/>
		<constant value="20:5-26:30"/>
		<constant value="8:3-26:30"/>
		<constant value="28:5-28:10"/>
		<constant value="8:3-28:10"/>
		<constant value="30:38-30:40"/>
		<constant value="30:4-30:5"/>
		<constant value="30:4-30:15"/>
		<constant value="31:4-31:6"/>
		<constant value="31:7-31:9"/>
		<constant value="31:7-31:16"/>
		<constant value="31:7-31:21"/>
		<constant value="31:4-31:21"/>
		<constant value="32:8-32:10"/>
		<constant value="32:8-32:15"/>
		<constant value="32:16-32:24"/>
		<constant value="32:8-32:24"/>
		<constant value="34:10-34:13"/>
		<constant value="33:6-33:9"/>
		<constant value="32:5-35:10"/>
		<constant value="31:4-35:10"/>
		<constant value="36:5-36:7"/>
		<constant value="36:5-36:14"/>
		<constant value="36:5-36:25"/>
		<constant value="31:4-36:25"/>
		<constant value="36:26-36:29"/>
		<constant value="31:4-36:29"/>
		<constant value="30:4-36:30"/>
		<constant value="8:3-36:30"/>
		<constant value="37:5-37:9"/>
		<constant value="8:3-37:9"/>
		<constant value="7:10-38:3"/>
		<constant value="3:2-38:4"/>
		<constant value="40:24-40:26"/>
		<constant value="39:10-39:24"/>
		<constant value="39:10-39:39"/>
		<constant value="39:50-39:51"/>
		<constant value="39:50-39:59"/>
		<constant value="39:61-39:62"/>
		<constant value="39:50-39:62"/>
		<constant value="39:10-39:63"/>
		<constant value="41:3-41:4"/>
		<constant value="41:5-41:10"/>
		<constant value="41:3-41:10"/>
		<constant value="41:11-41:12"/>
		<constant value="41:11-41:17"/>
		<constant value="41:3-41:17"/>
		<constant value="41:18-41:22"/>
		<constant value="41:3-41:22"/>
		<constant value="41:23-41:24"/>
		<constant value="41:23-41:32"/>
		<constant value="41:23-41:43"/>
		<constant value="41:3-41:43"/>
		<constant value="41:44-41:49"/>
		<constant value="41:3-41:49"/>
		<constant value="39:10-42:4"/>
		<constant value="3:2-42:5"/>
		<constant value="43:10-43:14"/>
		<constant value="3:2-43:15"/>
		<constant value="45:11-45:38"/>
		<constant value="45:39-45:56"/>
		<constant value="45:39-45:71"/>
		<constant value="45:39-45:80"/>
		<constant value="45:39-45:85"/>
		<constant value="45:11-45:85"/>
		<constant value="45:86-45:92"/>
		<constant value="45:11-45:92"/>
		<constant value="3:2-45:93"/>
		<constant value="p2"/>
		<constant value="s2"/>
		<constant value="p3"/>
		<constant value="s3"/>
		<constant value="p"/>
		<constant value="s"/>
		<constant value="a"/>
		<constant value="self"/>
	</cp>
	<operation name="1">
		<context type="2"/>
		<parameters>
		</parameters>
		<code>
			<push arg="3"/>
			<push arg="4"/>
			<push arg="4"/>
			<findme/>
			<call arg="5"/>
			<call arg="6"/>
			<get arg="7"/>
			<call arg="8"/>
			<push arg="9"/>
			<call arg="8"/>
			<push arg="10"/>
			<store arg="11"/>
			<push arg="12"/>
			<push arg="4"/>
			<findme/>
			<call arg="5"/>
			<iterate/>
			<store arg="13"/>
			<load arg="11"/>
			<push arg="14"/>
			<call arg="15"/>
			<load arg="13"/>
			<get arg="7"/>
			<call arg="15"/>
			<push arg="16"/>
			<call arg="15"/>
			<load arg="13"/>
			<get arg="17"/>
			<pushi arg="18"/>
			<call arg="19"/>
			<if arg="20"/>
			<push arg="18"/>
			<goto arg="21"/>
			<load arg="13"/>
			<get arg="17"/>
			<call arg="22"/>
			<call arg="15"/>
			<push arg="23"/>
			<call arg="15"/>
			<load arg="13"/>
			<get arg="24"/>
			<pushi arg="18"/>
			<call arg="25"/>
			<if arg="26"/>
			<load arg="13"/>
			<get arg="24"/>
			<call arg="22"/>
			<push arg="27"/>
			<call arg="15"/>
			<goto arg="28"/>
			<push arg="29"/>
			<call arg="15"/>
			<push arg="10"/>
			<store arg="30"/>
			<load arg="13"/>
			<get arg="31"/>
			<iterate/>
			<store arg="32"/>
			<load arg="30"/>
			<load arg="32"/>
			<get arg="33"/>
			<get arg="7"/>
			<call arg="15"/>
			<load arg="32"/>
			<get arg="34"/>
			<push arg="35"/>
			<push arg="36"/>
			<new/>
			<dup/>
			<push arg="37"/>
			<set arg="7"/>
			<call arg="38"/>
			<if arg="39"/>
			<push arg="40"/>
			<goto arg="41"/>
			<push arg="42"/>
			<call arg="15"/>
			<load arg="32"/>
			<get arg="43"/>
			<call arg="22"/>
			<call arg="15"/>
			<push arg="44"/>
			<call arg="15"/>
			<store arg="30"/>
			<enditerate/>
			<load arg="30"/>
			<call arg="15"/>
			<push arg="45"/>
			<call arg="15"/>
			<push arg="10"/>
			<store arg="30"/>
			<load arg="13"/>
			<get arg="46"/>
			<iterate/>
			<store arg="32"/>
			<load arg="30"/>
			<load arg="32"/>
			<get arg="47"/>
			<get arg="7"/>
			<call arg="15"/>
			<load arg="32"/>
			<get arg="34"/>
			<push arg="35"/>
			<push arg="36"/>
			<new/>
			<dup/>
			<push arg="37"/>
			<set arg="7"/>
			<call arg="38"/>
			<if arg="48"/>
			<push arg="40"/>
			<goto arg="49"/>
			<push arg="42"/>
			<call arg="15"/>
			<load arg="32"/>
			<get arg="43"/>
			<call arg="22"/>
			<call arg="15"/>
			<push arg="44"/>
			<call arg="15"/>
			<store arg="30"/>
			<enditerate/>
			<load arg="30"/>
			<call arg="15"/>
			<push arg="9"/>
			<call arg="15"/>
			<store arg="11"/>
			<enditerate/>
			<load arg="11"/>
			<call arg="8"/>
			<push arg="10"/>
			<store arg="11"/>
			<push arg="50"/>
			<push arg="36"/>
			<new/>
			<push arg="51"/>
			<push arg="4"/>
			<findme/>
			<call arg="5"/>
			<iterate/>
			<store arg="13"/>
			<load arg="13"/>
			<get arg="52"/>
			<pushi arg="18"/>
			<call arg="19"/>
			<call arg="53"/>
			<if arg="54"/>
			<load arg="13"/>
			<call arg="55"/>
			<enditerate/>
			<iterate/>
			<store arg="13"/>
			<load arg="11"/>
			<push arg="56"/>
			<call arg="15"/>
			<load arg="13"/>
			<get arg="7"/>
			<call arg="15"/>
			<push arg="57"/>
			<call arg="15"/>
			<load arg="13"/>
			<get arg="52"/>
			<call arg="22"/>
			<call arg="15"/>
			<push arg="58"/>
			<call arg="15"/>
			<store arg="11"/>
			<enditerate/>
			<load arg="11"/>
			<call arg="8"/>
			<push arg="9"/>
			<call arg="8"/>
			<push arg="59"/>
			<push arg="4"/>
			<push arg="4"/>
			<findme/>
			<call arg="5"/>
			<call arg="6"/>
			<get arg="7"/>
			<call arg="15"/>
			<push arg="60"/>
			<call arg="15"/>
			<call arg="61"/>
		</code>
		<linenumbertable>
			<lne id="62" begin="0" end="0"/>
			<lne id="63" begin="1" end="3"/>
			<lne id="64" begin="1" end="4"/>
			<lne id="65" begin="1" end="5"/>
			<lne id="66" begin="1" end="6"/>
			<lne id="67" begin="0" end="7"/>
			<lne id="68" begin="8" end="8"/>
			<lne id="69" begin="0" end="9"/>
			<lne id="70" begin="10" end="10"/>
			<lne id="71" begin="12" end="14"/>
			<lne id="72" begin="12" end="15"/>
			<lne id="73" begin="18" end="18"/>
			<lne id="74" begin="19" end="19"/>
			<lne id="75" begin="18" end="20"/>
			<lne id="76" begin="21" end="21"/>
			<lne id="77" begin="21" end="22"/>
			<lne id="78" begin="18" end="23"/>
			<lne id="79" begin="24" end="24"/>
			<lne id="80" begin="18" end="25"/>
			<lne id="81" begin="26" end="26"/>
			<lne id="82" begin="26" end="27"/>
			<lne id="83" begin="28" end="28"/>
			<lne id="84" begin="26" end="29"/>
			<lne id="85" begin="31" end="31"/>
			<lne id="86" begin="33" end="33"/>
			<lne id="87" begin="33" end="34"/>
			<lne id="88" begin="33" end="35"/>
			<lne id="89" begin="26" end="35"/>
			<lne id="90" begin="18" end="36"/>
			<lne id="91" begin="37" end="37"/>
			<lne id="92" begin="18" end="38"/>
			<lne id="93" begin="39" end="39"/>
			<lne id="94" begin="39" end="40"/>
			<lne id="95" begin="41" end="41"/>
			<lne id="96" begin="39" end="42"/>
			<lne id="97" begin="44" end="44"/>
			<lne id="98" begin="44" end="45"/>
			<lne id="99" begin="44" end="46"/>
			<lne id="100" begin="47" end="47"/>
			<lne id="101" begin="44" end="48"/>
			<lne id="102" begin="50" end="50"/>
			<lne id="103" begin="39" end="50"/>
			<lne id="104" begin="18" end="51"/>
			<lne id="105" begin="52" end="52"/>
			<lne id="106" begin="54" end="54"/>
			<lne id="107" begin="54" end="55"/>
			<lne id="108" begin="58" end="58"/>
			<lne id="109" begin="59" end="59"/>
			<lne id="110" begin="59" end="60"/>
			<lne id="111" begin="59" end="61"/>
			<lne id="112" begin="58" end="62"/>
			<lne id="113" begin="63" end="63"/>
			<lne id="114" begin="63" end="64"/>
			<lne id="115" begin="65" end="70"/>
			<lne id="116" begin="63" end="71"/>
			<lne id="117" begin="73" end="73"/>
			<lne id="118" begin="75" end="75"/>
			<lne id="119" begin="63" end="75"/>
			<lne id="120" begin="58" end="76"/>
			<lne id="121" begin="77" end="77"/>
			<lne id="122" begin="77" end="78"/>
			<lne id="123" begin="77" end="79"/>
			<lne id="124" begin="58" end="80"/>
			<lne id="125" begin="81" end="81"/>
			<lne id="126" begin="58" end="82"/>
			<lne id="127" begin="52" end="85"/>
			<lne id="128" begin="18" end="86"/>
			<lne id="129" begin="87" end="87"/>
			<lne id="130" begin="18" end="88"/>
			<lne id="131" begin="89" end="89"/>
			<lne id="132" begin="91" end="91"/>
			<lne id="133" begin="91" end="92"/>
			<lne id="134" begin="95" end="95"/>
			<lne id="135" begin="96" end="96"/>
			<lne id="136" begin="96" end="97"/>
			<lne id="137" begin="96" end="98"/>
			<lne id="138" begin="95" end="99"/>
			<lne id="139" begin="100" end="100"/>
			<lne id="140" begin="100" end="101"/>
			<lne id="141" begin="102" end="107"/>
			<lne id="142" begin="100" end="108"/>
			<lne id="143" begin="110" end="110"/>
			<lne id="144" begin="112" end="112"/>
			<lne id="145" begin="100" end="112"/>
			<lne id="146" begin="95" end="113"/>
			<lne id="147" begin="114" end="114"/>
			<lne id="148" begin="114" end="115"/>
			<lne id="149" begin="114" end="116"/>
			<lne id="150" begin="95" end="117"/>
			<lne id="151" begin="118" end="118"/>
			<lne id="152" begin="95" end="119"/>
			<lne id="153" begin="89" end="122"/>
			<lne id="154" begin="18" end="123"/>
			<lne id="155" begin="124" end="124"/>
			<lne id="156" begin="18" end="125"/>
			<lne id="157" begin="10" end="128"/>
			<lne id="158" begin="0" end="129"/>
			<lne id="159" begin="130" end="130"/>
			<lne id="160" begin="135" end="137"/>
			<lne id="161" begin="135" end="138"/>
			<lne id="162" begin="141" end="141"/>
			<lne id="163" begin="141" end="142"/>
			<lne id="164" begin="143" end="143"/>
			<lne id="165" begin="141" end="144"/>
			<lne id="166" begin="132" end="149"/>
			<lne id="167" begin="152" end="152"/>
			<lne id="168" begin="153" end="153"/>
			<lne id="169" begin="152" end="154"/>
			<lne id="170" begin="155" end="155"/>
			<lne id="171" begin="155" end="156"/>
			<lne id="172" begin="152" end="157"/>
			<lne id="173" begin="158" end="158"/>
			<lne id="174" begin="152" end="159"/>
			<lne id="175" begin="160" end="160"/>
			<lne id="176" begin="160" end="161"/>
			<lne id="177" begin="160" end="162"/>
			<lne id="178" begin="152" end="163"/>
			<lne id="179" begin="164" end="164"/>
			<lne id="180" begin="152" end="165"/>
			<lne id="181" begin="130" end="168"/>
			<lne id="182" begin="0" end="169"/>
			<lne id="183" begin="170" end="170"/>
			<lne id="184" begin="0" end="171"/>
			<lne id="185" begin="172" end="172"/>
			<lne id="186" begin="173" end="175"/>
			<lne id="187" begin="173" end="176"/>
			<lne id="188" begin="173" end="177"/>
			<lne id="189" begin="173" end="178"/>
			<lne id="190" begin="172" end="179"/>
			<lne id="191" begin="180" end="180"/>
			<lne id="192" begin="172" end="181"/>
			<lne id="193" begin="0" end="182"/>
		</linenumbertable>
		<localvariabletable>
			<lve slot="4" name="194" begin="57" end="83"/>
			<lve slot="3" name="195" begin="53" end="85"/>
			<lve slot="4" name="196" begin="94" end="120"/>
			<lve slot="3" name="197" begin="90" end="122"/>
			<lve slot="2" name="198" begin="17" end="126"/>
			<lve slot="1" name="199" begin="11" end="128"/>
			<lve slot="2" name="200" begin="140" end="148"/>
			<lve slot="2" name="198" begin="151" end="166"/>
			<lve slot="1" name="199" begin="131" end="168"/>
			<lve slot="0" name="201" begin="0" end="182"/>
		</localvariabletable>
	</operation>
</asm>
